Buy Used and New A . Finkel Books

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen

ISBN 13: 9783642074783

Format: Paperback (196 pages)
Publisher: Springer
Published: 15 Dec 2010

Save for later